应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

GPS接收机数字码跟踪环性能研究

建立了伪码捕获和跟踪过程的数学模型;推导出了伪码捕获的检测概率和虚警概率,提出了改进的双Dwell搜索方法;对一阶、二阶、三阶DDLL的动态跟踪性能及输入随机噪声影响进行了定量分析。研究结果表明,双Dwell搜索方法能显著缩短平均捕获时间,应根据不同的系统动态特点,选择不同的环路参数,以优化码跟踪环的特性。     

永磁有限转角力矩电机的仿真与实验

随着多电飞机的快速发展及成附件轻小化、高效能的迫切需求,有限转角力矩电机(Limited Angle Torque Motor,LATM)在飞机引气系统中的应用日益迫切。一方面,有限转角力矩电机可以显著简化高温引气控制阀结构、减小体积;另一方面,可以基于系统需求实现引气压力和温度按需调节,减少燃油代偿损失。针对高温有限转角力矩电机工作特性不易预测的难题,建立了其数学模型、仿真模型,并通过实物试验验证了仿真模型的准确性。研究结果为有限转角力矩电机特性研究提供了参考依据。     

热声载荷下薄壁板行波管疲劳分析与试验研究

高速飞行器薄壁结构在高速气流冲击下,产生的热载荷、声载荷、随机振动载荷会使结构产生非线性大绕度动力学响应和高周疲劳破坏。对3组一端固支GH188薄壁板开展行波管热声疲劳试验,研究了温度和声压级对薄壁板的响应及寿命的影响,得到在热声载荷下薄壁结构的频率和动应力响应以及可能产生破坏的危险位置和疲劳寿命。根据耦合的有限元/边界元法对薄壁结构的非线性响应进行数值仿真,采用改进的雨流计数法和Morrow平均应力模型预估结构的疲劳寿命,与试验结果对比:频率响应误差在1%以内,基频应力响应误差在1%～3%,寿命值在3倍左右,验证了热声疲劳寿命预估模型的有效性。随后分析了薄壁结构的热振特性,分析发现:在声载荷和随机振动载荷下,结果基频响应起主导作用,且变化趋势相似,当基频动应力水平相同且主要研究基频附近疲劳寿命时,可用热振试验代替热声试验;当频率较宽时,热振疲劳寿命明显低于热声疲劳寿命。     

锈层对过冷沸腾换热影响的实验及数值研究

针对锈层对过冷沸腾换热冷却效果的影响，本文进行了理论分析、实验研究和仿真校验。首先结合经典的过冷沸腾换热理论，分析了锈层对冷却效果影响最大的几个因素。然后进行了一组夹套内壁生锈和未生锈两种情况下冷却效果的对比实验。实验发现，内壁生锈造成入口段温度大幅升高，且温升沿流道方向递次减小。接着分析了造成该现象的几大因素，推断锈层影响了流态进而抑制了沸腾换热机制是最主要的因素，并对不同入口流态下管内沸腾换热进行数值仿真，校验了上述分析结果。最后，根据研究结论，对过冷沸腾换热中易生锈或类似的粗糙内壁槽道的设计方法提出了建议。     

语音合成遥控指令回报系统

本文介绍了用于无人机的语音合成回报系统,代替传统的信号盘灯光显示,向地面指挥监测人员回报遥控指令接收情况。语音合成系统由基于LPC原理制成的单片语音合成处理器TMS5220组成,用Z-80 CPU实现控制。系统结构简单,通用性强,合成语音清晰、自然可懂。     

基于STEP-NC的数控车削加工仿真系统

提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工具V isua l C 和O penGL。最后指出了本文研究对于STEP-NC数控加工研究的意义。     

双重迭代置信传播空时编码调制及其在准静态MIMO衰落信道下的性能

提出一种结合低密度校验码和空时分组码的置信传播编码调制方案，并对其在准静态MIMO衰落信道下成对差错概率及最优星座选择进行了分析，并给出了相应的参考设计准则。为防止过多错误反馈造成译码失效，提出采用内、外双重迭代方式提高系统的鲁棒性。同时．由于该方案LDPC(Low—density parity—check)码校验矩阵作为迭代终止判决准则，使得迭代算法的平均复杂度降低。     

惯性速度辅助下GPS／捷联惯导组合系统性能研究

ＧＰＳ／惯性导航组合系统目前正得到越来越广泛的应用，但ＧＰＳ接收机载波环失锁时，码环的速率辅助信息来自惯导系统，由于惯性速度的不精确性及伪距测量误差和它之间的相关性，将可能导致组合系统工作的不稳定，本文根据码环的工作特性，在组合卡尔曼滤波器中考虑了码环的跟踪误差，利用ＧＰＳ／捷联惯导组合系统的导航性能，结果表明，ＧＰＳ／捷联惯导组合系统中，若消除了伪距测量误差与惯性速度误差之间的相关性，将可较显著     

数控加工仿真和验证的关键算法

提出了一种快速显示数控加工仿真高质量真实感图形的近似方法。刀具运动扫掠体被划分成一些小区域，系统计算出每个小区域的法向量并将这些向量存储在一个件中。当显示加工动画时不必再计算毛坯表面小平面的法向量，仅仅需要计算是刀具的娜部分切削了该小平面，然后从件中读出对应的法向量。中还提出了一种高效率的NC加工代码验证方法。该方法先计算z方向的误差。如果发现某些点超差，在这些点附近系统自动对毛坯进行进一步细分，计算出表面法向量的误差。